Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
131	DevOps Meets Formal Modelling in High-Criticality Complex Systems Marta Olszewska Marina Waldén Add to Reading List Source URL: tusiek.unforgiven.pl Language: English - Date: 2015-08-21 02:07:30 Software development Software engineering Software development process Agile software development Project management Formal methods Software project management DevOps Scrum Agile management Requirement Formal specification
132	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
133	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
134	TECHSPLORATION CONSENSUS MODEL Background and History Consensus Model: At the January 2008 Techsploration Board of Directors meeting it was agreed to adopt the Consensus Model as the decision making process for the Techs Add to Reading List Source URL: techsploration.ca Language: English - Date: 2011-11-28 10:54:15 Political philosophy Politics Management Evaluation methods Democracy Working groups Consensus decision-making Meetings Board of directors Motion Consensus Formal consensus
135	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
136	Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK . Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:54:07 Formal methods Software engineering Loop invariant Theoretical computer science Invariant
137	EBS_105 Corp Brochure 2016_For Pat Add to Reading List Source URL: www.emergentcontractmanufacturing.com Language: English - Date: 2016-07-18 16:28:03 Pharmaceutical industry Business Economy Value Validity Formal methods Software quality Software testing Validation Process validation Emergent Cambrex Corporation
138	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
139	Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-10-17 04:53:23 Process calculi Theoretical computer science Formal methods Metaphor Simulation PEPA Jane Hillston Scientific modelling Stochastic Process calculus Economic model Semantics
140	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language

UPDATE